1. Advanced digital logic design : using VHDL, state machines, and synthesi for FPGAS

المؤلف:

المکتبة: كتابخانه دانشگاه صنعتي اروميه (أذربایجان الغربیة)

موضوع: Logic design--Data processing,Digital electronics,Verilog (Computer hardware description language),Sequential machine theory,Application specific integrated circuits

رده :
TK
,
7868
,
L6L44
,
2006

2. #Advanced digital logic design using verilog, state machines, and synthesis for FPGAs

المؤلف:

المکتبة: کتابخانه مرکزی دانشگاه صنعتی اصفهان (أصبهان)

موضوع: Logic design ،Digital electronics. ،Verilog )Computer hardware description language( ،Sequential machine theory. ،Application-specific integrated circuits

رده :
#
TK
،#.
L6L44
،#
2006

3. Digital system test and testable design

المؤلف:

المکتبة: كتابخانه مركزي و مركز اطلاع رساني دانشگاه شاهد (طهران)

موضوع: Digital integrated circuits, Testing,Digital integrated circuits, Design and construction,Verilog (Computer hardware description language)

رده :
TK
،
7874
،.
N38
،
2011

4. HDL chip design: a practical guide for designing, synthesizing, and simulating ASICs and FPGAs using VHDL or Verilog

المؤلف:

المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)

موضوع: ، Application specific integrated circuits-- Computer-aided design,، Field programmable gate arrays-- Computer-aided design,، Logic design-- Data processing,، VHDL )Computer hardware description language(,، Verilog )Computer hardware description language(

رده :
TK
7874
.
6
.
S62
1996

5. Hardware verification with SystemVerilog

المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)

موضوع: oriented programming (Computer science) ; -Verilog (Computer hardware description language) ; Integrated circuits ; Verification. ; Object

6. Hardware verification with SystemVerilog

المؤلف:

المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)

موضوع: Verilog (Computer hardware description language),Integrated circuits--Verification,Object-oriented programming (Computer science)

رده :
TK
,
7885
.
7
,.
M56
,
2007

7. Principles of verifiable RTL design

المؤلف:

المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)

موضوع: Integrated circuits- Very large scale integration- Computer-aided design,Verilog (Computer hardware description language),Electronic digital computers- Computer-aided design

رده :
TK7874
.
75
.
B47
2001

8. Principles of verifiable RTL design

المؤلف:

المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)

موضوع: Integrated circuits- Very large scale integration- Computer-aided design,Verilog (Computer hardware description language),Electronic digital computers- Computer-aided design

رده :
E-BOOK

9. Principles of verifiable RTL design :a functional coding style supporting verification processes in Verilog

المؤلف:

المکتبة: کتابخانه مرکز پژوهش متالورژی رازی (طهران)

موضوع: Very large scale integration Computer-aided design ، Integrated circuits,، Verilog )Computer hardware description language(,Computer-aided design ، Electronic digital computers

رده :
TK
7874
.
75
.
B47
2001

10. Principles of verifiable RTL design :a functional coding style supporting verification processes in Verilog

المؤلف:

المکتبة: کتابخانه مرکزی دانشگاه صنعتی همدان (همدان)

موضوع: Very large scale integration Computer-aided design ، Integrated circuits,، Verilog )Computer hardware description language(,Computer-aided design ، Electronic digital computers

رده :
TK
7874
.
75
.
B47

11. Step-by-step functional verification with SystemVerilog and OVM /

المؤلف:

المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع: Integrated circuits-- Verification,Verilog (Computer hardware description language)

12. System verilog for verification :a guide to learning the testbench language features

المؤلف:

المکتبة: کتابخانه مرکزی دانشگاه صنعتی همدان (همدان)

موضوع: ، Verilog )Computer hardware description language(,Verification ، Integrated circuits

رده :
TK
7885
.
7
.
S67

13. SystemVerilog For Verification : A Guide To Learning The Testbench Language Features

المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع: Verilog (Computer hardware description language),Integrated circuits - Verification,وریلاگ )زبان توصیفی سخت افزار کامپیوتر(,مدارهای مجتمع - تشخیص,Spear, Chris.

رده :
CD-B
,
TK
,
7885
,.
7
,.
S67
,
2006

14. SystemVerilog assertions and functional coverage :guide to language, methodology and applications

المؤلف:

المکتبة: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)

موضوع: ، Verilog )Computer hardware description language(,Design and construction ، Electronic digital computers,Verification ، Integrated circuits,، Engineering,، Circuits and Systems,، Electronics and Microelectronics, Instrumentation,، Processor Architectures

رده :
TK7885
.
7

15. SystemVerilog for verification

المؤلف:

المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)

موضوع: Verilog (Computer hardware description language),Integrated circuits- Verification

رده :
TK7885
.
7
.
S67
2006

16. #SystemVerilog for verification

المؤلف:

المکتبة: کتابخانه مرکزی دانشگاه صنعتی اصفهان (أصبهان)

موضوع: Verilog )Computer hardware description language( ،Integrated circuits

رده :
#
TK
،#.
S67
،#
2008

17. SystemVerilog for verification

المؤلف:

المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)

موضوع: Verilog (Computer hardware description language),Integrated circuits- Verification

رده :
E-BOOK

18. Systemverilog assertions and functional coverage: guide to language, methodology and applications

المؤلف:

المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)

موضوع: ، Verilog )Computer hardware description language(,، Electronic digital computers - Design and construction,، Integrated circuits - Verification

رده :
TK
7885
.
7
.
M4
2014

19. Systemverilog for verification :

المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)

موضوع: Verilog (Computer hardware description language),Integrated circuits , Verification

رده :
E-BOOK

20. The power of assertions in SystemVerilog

المؤلف:

المکتبة: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)

موضوع: ، Verilog )Computer hardware description language(,، Integrated circuits, Verification, Data processing

رده :
TK
7874
.
58
.
P69
2010